(Re)configuration using Answer Set Programming
نویسندگان
چکیده
Reconfiguration is an important activity for companies selling configurable products or services which have a long life time. However, identification of a set of required changes in a legacy configuration is a hard problem, since even small changes in the requirements might imply significant modifications. In this paper we show a solution based on answer set programming, which is a logic-based knowledge representation formalism well suited for a compact description of (re)configuration problems. Its applicability is demonstrated on simple abstractions of several real-world scenarios. The evaluation of our solution on a set of benchmark instances derived from commercial (re)configuration problems shows practical applicability.
منابع مشابه
(Re)configuration based on model generation
Reconfiguration is an important activity for companies selling configurable products or services which have a long life time. However, identification of a set of required changes in a legacy configuration is a hard problem, since even small changes in the requirements might imply significant modifications. In this paper we show a solution based on answer set programming, which is a logic-based ...
متن کاملSolving Object-oriented Configuration Scenarios with ASP
The main configuration scenarios occurring in the domain of technical products and systems are consistency checking, completing a partial configuration, reconfiguration of an inconsistent configuration and finding the best knowledge base for future reconfigurations. This paper presents OOASP a framework for the description of object-oriented product configurators using answer set programming an...
متن کاملRepresenting Configuration Knowledge With Weight Constraint Rules
The paper demonstrates that product configuration applications fit naturally the framework of answer set programming. It is shown that product configuration knowledge can be represented systematically and compactly using a logic program type rule language such that the answers of a configuration task, the configurations, correspond to the models of the rule representation.. The paper pr.es.~nts...
متن کاملRe-configuration of the Relief Network Considering Uncertain Demand and Link Failure in an Earthquake: A Multi-stage Stochastic Programming
Disasters inevitably trigger far-reaching consequences affecting all living things and the environment. Therefore, top managers and decision-makers in disaster management seek comprehensive approaches to evaluate facilities and network preparedness in dealing with the response phase of predicted disaster scenarios in terms of number of casualties, costs, and unmet demands. In this regard, pre...
متن کاملUsing Answer Set Programming for Feature Model Representation and Configuration
Feature models are a wide-spread approach used for expressing variability in software product lines. Answer set programming (ASP) is nowadays an increasingly popular approach to configuration knowledge representation. In this paper, we study the similarities between feature modeling and configuration knowledge representation with ASP. We define the feature configuration problem utilizing ASP, a...
متن کامل